An Experimental Survey of Extended Resolution Effects for SAT Solvers on the Pigeonhole Principle

It has been proven that extended resolution (ER) more powerful reasoning than general for the pigeonhole principle in Cook’s paper. This fact indicates possibility a solver based on can exceed Boolean satisfiability problem solvers (SAT short) resolution. However, few studies have provided practical evidence of this assumption. paper explores how improve SAT by using principle, which was first solved ER polynomial steps. In fact, although introduced to add auxiliary variables, there is no these variables are really useful solvers. We try answer question: If appropriate as proposed paper, enhance its performance utilizing variables? Experimental results show if properly prioritizes search, end search shorter time.